The Hex Game Theorem and the Arrow Impossibility Theorem: the Case of Weak Orders
نویسنده
چکیده
The Arrow impossibility theorem when individual preferences are weak orders is equivalent to the HEX game theorem. Because Gale showed that the Brouwer fixed point theorem is equivalent to the HEX game theorem, this paper indirectly shows the equivalence of the Brouwer fixed point theorem and the Arrow impossibility theorem. Chichilnisky showed the equivalence of her impossibility theorem and the Brouwer fixed point theorem, and Baryshnikov showed that the impossibility theorem by Chichilnisky and the Arrow impossibility theorem are very similar. Thus, Chichilnisky and Baryshnikov are precedents for the result—linking the Arrow impossibility theorem to a fixed point theorem.
منابع مشابه
Arrow theorems in the fuzzy setting
Throughout this paper, our main idea is to analyze the Arrovian approach in a fuzzy context, paying attention to different extensions of the classical Arrow's model arising in mathematical Social Choice to aggregate preferences that the agents define on a set of alternatives. There is a wide set of extensions. Some of them give rise to an impossibility theorem as in the Arrovian classical mod...
متن کاملA topological approach to the Arrow impossibility theorem when individual preferences are weak orders
We will present a topological approach to the Arrow impossibility theorem of social choice theory that there exists no binary social choice rule (which we will call a social welfare function) which satisfies the conditions of transitivity, independence of irrelevant alternatives (IIA), Pareto principle and non-existence of dictator. Our research is in line with the studies of topological approa...
متن کاملThe birth of social choice theory from the spirit of mathematical logic: Arrows theorem as a model-theoretic preservation result
Arrows axiomatic foundation of social choice theory can be understood as an application of Tarskis methodology of the deductive sciences which is closely related to the latters foundational contribution to model theory. Thus, Arrows celebrated impossibility theorem can be read as a model-theoretic preservation result "avant la lettre": The preservation of the rst-order properties of weak o...
متن کاملOn the equivalence of the Arrow impossibility theorem and the Brouwer fixed point theorem
We will show that in the case where there are two individuals and three alternatives (or under the assumption of free-triple property) the Arrow impossibility theorem (Arrow (1963)) for social welfare functions that there exists no social welfare function which satisfies transitivity, Pareto principle, independence of irrelevant alternatives, and has no dictator is equivalent to the Brouwer fix...
متن کاملA correct proof of the McMorris-Powers' theorem on the consensus of phylogenies
McMorris and Powers proved an Arrow-type theorem on phylogenies given as collections of quartets. There is an error in one of the main lemmas used to prove this theorem. However, this lemma (and thereby the theorem) is still true, and we provide a corrected proof. 1 Theorem of McMorris and Powers In 1951, K. Arrow [1] proved his impossibility theorem for the aggregation of weak orders. In the p...
متن کامل